<html>
<head><meta charset="utf-8"><title>weekly meeting August 28 · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html">weekly meeting August 28</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="132942425"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132942425" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132942425">(Aug 28 2018 at 19:33)</a>:</h4>
<p><span class="emoji emoji-1f44b" title="wave">:wave:</span> hello dear friends in <span class="user-group-mention" data-user-group-id="491">@WG-compiler-nll</span></p>



<a name="132942476"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132942476" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132942476">(Aug 28 2018 at 19:34)</a>:</h4>
<p><a href="https://paper.dropbox.com/doc/Non-lexical-lifetimes-NLL-Triage-Em2cJrvxQMMFWLE7lE5Be" target="_blank" title="https://paper.dropbox.com/doc/Non-lexical-lifetimes-NLL-Triage-Em2cJrvxQMMFWLE7lE5Be">paper triage document is here</a></p>



<a name="132942536"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132942536" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132942536">(Aug 28 2018 at 19:35)</a>:</h4>
<p>any chance <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> is around tonight? I'm not sure what time zone they are in, but I figured I'd check.</p>



<a name="132942542"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132942542" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132942542">(Aug 28 2018 at 19:35)</a>:</h4>
<p>I'm here</p>



<a name="132942597"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132942597" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132942597">(Aug 28 2018 at 19:36)</a>:</h4>
<p>okay great. there were some questions that came up when <span class="user-mention" data-user-id="116009">@nikomatsakis</span> and I were chatting earlier today</p>



<a name="132942625"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132942625" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132942625">(Aug 28 2018 at 19:36)</a>:</h4>
<p>(they aren't on the agenda; we should probably go through the meeting agenda, and then if there's time after that I can pick your brain.)</p>



<a name="132942647"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132942647" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132942647">(Aug 28 2018 at 19:37)</a>:</h4>
<p>I'll be around after the meeting, so that should be fine.</p>



<a name="132942661"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132942661" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132942661">(Aug 28 2018 at 19:37)</a>:</h4>
<p>so let's see.. overall status...</p>



<a name="132942664"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132942664" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132942664">(Aug 28 2018 at 19:37)</a>:</h4>
<p>perf is basically looking good, apart from UCD (and memory use)</p>



<a name="132942670"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132942670" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132942670">(Aug 28 2018 at 19:37)</a>:</h4>
<p><span class="user-mention" data-user-id="125250">@Wesley Wiser</span>'s branch addresses the memory use problem</p>



<a name="132942711"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132942711" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132942711">(Aug 28 2018 at 19:38)</a>:</h4>
<p><span class="user-mention" data-user-id="116925">@mikhail-m1</span> was looking at what I think is the best fix for UCD perf</p>



<a name="132942722"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132942722" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132942722">(Aug 28 2018 at 19:38)</a>:</h4>
<p>so it's essentially down to correctness (sound, complete) + diagnostics</p>



<a name="132947620"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132947620" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132947620">(Aug 28 2018 at 19:38)</a>:</h4>
<p>(and njn has a quick fix PR for parts of <code>ucd</code>)</p>



<a name="132947632"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132947632" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132947632">(Aug 28 2018 at 19:39)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+milestone%3A%22Rust+2018+RC%22+label%3AA-NLL" target="_blank" title="https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+milestone%3A%22Rust+2018+RC%22+label%3AA-NLL">this is the full list of milestone issues</a> -- some are unassigned. I've marked some of them with I-nominated and left some notes in the paper</p>



<a name="132947687"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132947687" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132947687">(Aug 28 2018 at 19:40)</a>:</h4>
<p>it's not clear that all of them belong on the milestone</p>



<a name="132947741"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132947741" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132947741">(Aug 28 2018 at 19:40)</a>:</h4>
<p>there are effectively three relevant milestones remaining at this point, right?</p>



<a name="132947755"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132947755" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132947755">(Aug 28 2018 at 19:40)</a>:</h4>
<p>RC, RC2, and Release. Do I have that right?</p>



<a name="132947772"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132947772" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132947772">(Aug 28 2018 at 19:41)</a>:</h4>
<p>(I want to make sure we're all on the same page)</p>



<a name="132947785"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132947785" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132947785">(Aug 28 2018 at 19:41)</a>:</h4>
<p>that is correct</p>



<a name="132947793"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132947793" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132947793">(Aug 28 2018 at 19:41)</a>:</h4>
<p>RC is still a week or two out I think?</p>



<a name="132947802"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132947802" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132947802">(Aug 28 2018 at 19:41)</a>:</h4>
<p>so it behooves us</p>



<a name="132947842"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132947842" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132947842">(Aug 28 2018 at 19:42)</a>:</h4>
<p>to probably deliberately move some number of these from RC to RC2 (at least)</p>



<a name="132947859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132947859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132947859">(Aug 28 2018 at 19:42)</a>:</h4>
<p>right?  I suspect <span class="user-mention" data-user-id="116009">@nikomatsakis</span> was already doing some of that</p>



<a name="132947887"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132947887" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132947887">(Aug 28 2018 at 19:43)</a>:</h4>
<p>it may make sense, yeah</p>



<a name="132947890"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132947890" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132947890">(Aug 28 2018 at 19:43)</a>:</h4>
<p>we can also wait to do that until closer</p>



<a name="132947894"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132947894" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132947894">(Aug 28 2018 at 19:43)</a>:</h4>
<p>Well</p>



<a name="132947901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132947901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132947901">(Aug 28 2018 at 19:43)</a>:</h4>
<p>I guess if <em>all</em> the issues are equally important</p>



<a name="132947911"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132947911" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132947911">(Aug 28 2018 at 19:43)</a>:</h4>
<p>then yes, it doesn't matter when we do that triaging</p>



<a name="132947920"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132947920" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132947920">(Aug 28 2018 at 19:43)</a>:</h4>
<p>but if some are more important than others ...</p>



<a name="132947969"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132947969" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132947969">(Aug 28 2018 at 19:44)</a>:</h4>
<p>yeah, it's fine to move to RC2, then we can always start in early  if we finish everything :)</p>



<a name="132947975"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132947975" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132947975">(Aug 28 2018 at 19:44)</a>:</h4>
<p>should we look at the "nominated" things?</p>



<a name="132947982"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132947982" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132947982">(Aug 28 2018 at 19:44)</a>:</h4>
<p>I would like to look at the nominated things, yes</p>



<a name="132947997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132947997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132947997">(Aug 28 2018 at 19:44)</a>:</h4>
<p>ok first one was How to split up user-based type annotations? (<a href="https://github.com/rust-lang/rust/issues/47184" target="_blank" title="https://github.com/rust-lang/rust/issues/47184">#47184</a>)</p>



<a name="132948004"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948004" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948004">(Aug 28 2018 at 19:45)</a>:</h4>
<p>though I think we left some comments in thread</p>



<a name="132948015"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948015" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948015">(Aug 28 2018 at 19:45)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=+label%3AI-nominated+label%3AA-NLL+" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=+label%3AI-nominated+label%3AA-NLL+">this is the (fixed) list</a>, right?</p>



<a name="132948018"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948018" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948018">(Aug 28 2018 at 19:45)</a>:</h4>
<p>the main thing to figure out was whether this can be split up</p>



<a name="132948024"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948024" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948024">(Aug 28 2018 at 19:45)</a>:</h4>
<p>er, yes; I was going off the notes in the paper</p>



<a name="132948031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948031">(Aug 28 2018 at 19:45)</a>:</h4>
<p>or I guess you are probably using the link from the paper doc</p>



<a name="132948033"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948033" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948033">(Aug 28 2018 at 19:45)</a>:</h4>
<p>good idea</p>



<a name="132948040"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948040" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948040">(Aug 28 2018 at 19:45)</a>:</h4>
<p>in particular some of the issues are grouped together</p>



<a name="132948110"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948110" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948110">(Aug 28 2018 at 19:46)</a>:</h4>
<blockquote>
<p>the main thing to figure out was whether this can be split up</p>
</blockquote>
<p>I think the answer to this <em>is</em> yes but i'm not sure if it makes sense to do so — in particular the constant stuff feels pretty separate</p>



<a name="132948139"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948139" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948139">(Aug 28 2018 at 19:47)</a>:</h4>
<p>I guess I could try to split out mentoring instructions, if someone thought they might be up for said work (<span class="user-mention" data-user-id="116107">@davidtwco</span>, are you looking for tasks right now? :)</p>



<a name="132948149"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948149" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948149">(Aug 28 2018 at 19:47)</a>:</h4>
<p>/me just noticed the words "lazy"</p>



<a name="132948161"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948161" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948161">(Aug 28 2018 at 19:47)</a>:</h4>
<p>I will need something to fix aforementioned laziness, yes.</p>



<a name="132948174"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948174" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948174">(Aug 28 2018 at 19:47)</a>:</h4>
<p>well maybe we should look at the next few though</p>



<a name="132948227"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948227" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948227">(Aug 28 2018 at 19:48)</a>:</h4>
<p>e.g., there are a couple of tricky correctness-related problems:</p>
<ul>
<li>How to split up user-based type annotations? (<a href="https://github.com/rust-lang/rust/issues/47184" target="_blank" title="https://github.com/rust-lang/rust/issues/47184">#47184</a>)</li>
<li>atty regression (<a href="https://github.com/rust-lang/rust/issues/53569" target="_blank" title="https://github.com/rust-lang/rust/issues/53569">#53569</a>)</li>
<li>spurious outlives requirement in shred-0.7.0 <a href="https://github.com/rust-lang/rust/issues/53121" target="_blank" title="https://github.com/rust-lang/rust/issues/53121">#53121</a></li>
</ul>



<a name="132948302"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948302" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948302">(Aug 28 2018 at 19:49)</a>:</h4>
<p>I guess the atty one -- <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> you think you'll have time for that?</p>



<a name="132948311"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948311" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948311">(Aug 28 2018 at 19:49)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> I can do the minimization for <a href="https://github.com/rust-lang/rust/issues/52934" target="_blank" title="https://github.com/rust-lang/rust/issues/52934">#52934</a> if you want to do more important things</p>



<a name="132948312"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948312" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948312">(Aug 28 2018 at 19:49)</a>:</h4>
<p>I saw you <a href="#narrow/stream/122657-wg-nll/topic/.2353569.20even.20more.20dangly.20paths" title="#narrow/stream/122657-wg-nll/topic/.2353569.20even.20more.20dangly.20paths">opened a topic</a> for us to discuss the best fix :)</p>



<a name="132948398"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948398" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948398">(Aug 28 2018 at 19:50)</a>:</h4>
<p>(oh, meta point, I just realized I have a hard stop today at 16:00 -- in 10 minutes, that is)</p>



<a name="132948416"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948416" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948416">(Aug 28 2018 at 19:51)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> sure, feel free to add yourself to the assignees list for <a href="https://github.com/rust-lang/rust/issues/52934" target="_blank" title="https://github.com/rust-lang/rust/issues/52934">#52934</a>. I'm going to keep it assigned to me but I'll try to ping anyone else who's assigned.</p>



<a name="132948429"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948429" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948429">(Aug 28 2018 at 19:51)</a>:</h4>
<p>I was curious to "make a decision" about two-phase borrows</p>



<a name="132948446"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948446" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948446">(Aug 28 2018 at 19:51)</a>:</h4>
<p>what else can I help with ?</p>



<a name="132948448"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948448" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948448">(Aug 28 2018 at 19:51)</a>:</h4>
<p>I should be able to get a fix up for it soon if we can agree an approach. I was going to combine it with a diagnostic improvement, but that can wait.</p>



<a name="132948489"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948489" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948489">(Aug 28 2018 at 19:52)</a>:</h4>
<blockquote>
<p>I was curious to "make a decision" about two-phase borrows</p>
</blockquote>
<p>as in <a href="https://github.com/rust-lang/rust/issues/53723" target="_blank" title="https://github.com/rust-lang/rust/issues/53723">#53723</a> ?</p>



<a name="132948497"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948497" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948497">(Aug 28 2018 at 19:52)</a>:</h4>
<p>in particular, the question is whether we think it's worth trying to do any expansions, yeah</p>



<a name="132948501"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948501" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948501">(Aug 28 2018 at 19:52)</a>:</h4>
<p>/me thinks we should focus on other things</p>



<a name="132948511"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948511" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948511">(Aug 28 2018 at 19:52)</a>:</h4>
<p>the borrowck=migrate mode gives us breathing room here</p>



<a name="132948515"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948515" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948515">(Aug 28 2018 at 19:52)</a>:</h4>
<p>in terms of future improvements</p>



<a name="132948522"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948522" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948522">(Aug 28 2018 at 19:52)</a>:</h4>
<p>certainly an expanded form would fix basically all of the "unfortunate" regressions we've seen on <a href="http://crates.io" target="_blank" title="http://crates.io">crates.io</a> — but I think most of them have "complicating factors" that would require an involved fix</p>



<a name="132948525"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948525" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948525">(Aug 28 2018 at 19:52)</a>:</h4>
<blockquote>
<p>in terms of future improvements</p>
</blockquote>
<p>that's an interesting point</p>



<a name="132948533"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948533" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948533">(Aug 28 2018 at 19:53)</a>:</h4>
<p>I hadn't fully considered that</p>



<a name="132948541"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948541" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948541">(Aug 28 2018 at 19:53)</a>:</h4>
<p>i.e. ICE's kill us</p>



<a name="132948543"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948543" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948543">(Aug 28 2018 at 19:53)</a>:</h4>
<p>and performance kills us</p>



<a name="132948549"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948549" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948549">(Aug 28 2018 at 19:53)</a>:</h4>
<p>in the sense that borrowck=migrate doesn't mitigate those things</p>



<a name="132948550"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948550" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948550">(Aug 28 2018 at 19:53)</a>:</h4>
<p>yes</p>



<a name="132948564"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948564" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948564">(Aug 28 2018 at 19:53)</a>:</h4>
<p>and of course NLL-sound kills us too</p>



<a name="132948570"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948570" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948570">(Aug 28 2018 at 19:53)</a>:</h4>
<p>but in some ways we (as in the Rust compiler) has always had soundness bugs</p>



<a name="132948613"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948613" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948613">(Aug 28 2018 at 19:54)</a>:</h4>
<p>so I'm willing to let some of those slip through to be fixed later</p>



<a name="132948615"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948615" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948615">(Aug 28 2018 at 19:54)</a>:</h4>
<p>I think my playbook would be something like this:</p>
<ul>
<li>Get the current version humming and released (we're getting there...)</li>
<li>One or both of:<br>
    - Fix polonius and see how that goes<br>
    - Investigate 2PB expansions</li>
</ul>



<a name="132948622"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948622" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948622">(Aug 28 2018 at 19:54)</a>:</h4>
<blockquote>
<p>i.e. ICE's kill us</p>
</blockquote>
<p>do we want to do another crater run now that the previous one's ICEs are fixed ?</p>



<a name="132948623"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948623" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948623">(Aug 28 2018 at 19:54)</a>:</h4>
<blockquote>
<p>and of course NLL-sound kills us too</p>
</blockquote>
<p>we're not really aware of any of these, right?</p>



<a name="132948636"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948636" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948636">(Aug 28 2018 at 19:55)</a>:</h4>
<blockquote>
<p>do we want to do another crater run now that the previous one's ICEs are fixed </p>
</blockquote>
<p>I think we do, but we might want to wait until the user type annot thing is closer to done</p>



<a name="132948641"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948641" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948641">(Aug 28 2018 at 19:55)</a>:</h4>
<p>respecting type annotations is the big NLL-sound issue I know of</p>



<a name="132948646"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948646" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948646">(Aug 28 2018 at 19:55)</a>:</h4>
<p>ah, ok, yes</p>



<a name="132948652"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948652" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948652">(Aug 28 2018 at 19:55)</a>:</h4>
<p>in particular — I think the fix for that will involve touch some "widely used" code</p>



<a name="132948655"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948655" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948655">(Aug 28 2018 at 19:55)</a>:</h4>
<p>and could create ICEs</p>



<a name="132948661"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948661" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948661">(Aug 28 2018 at 19:55)</a>:</h4>
<p>(and you've already heard my crazy workarounds for the remaining type annotation cases)</p>



<a name="132948667"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948667" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948667">(Aug 28 2018 at 19:55)</a>:</h4>
<p>Also <a href="https://github.com/rust-lang/rust/issues/53695" target="_blank" title="https://github.com/rust-lang/rust/issues/53695">#53695</a>, depending on what we decide.</p>



<a name="132948670"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948670" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948670">(Aug 28 2018 at 19:55)</a>:</h4>
<p>/me not ready to surrender yet</p>



<a name="132948722"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948722" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948722">(Aug 28 2018 at 19:56)</a>:</h4>
<p>ah shall we move on to <a href="https://github.com/rust-lang/rust/issues/53695" target="_blank" title="https://github.com/rust-lang/rust/issues/53695">#53695</a></p>



<a name="132948723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948723">(Aug 28 2018 at 19:56)</a>:</h4>
<p>?</p>



<a name="132948737"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948737" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948737">(Aug 28 2018 at 19:56)</a>:</h4>
<p>(that is, put a pin in the 2PB discussion?)</p>



<a name="132948743"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948743" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948743">(Aug 28 2018 at 19:56)</a>:</h4>
<p>I think we settled it</p>



<a name="132948754"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948754" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948754">(Aug 28 2018 at 19:57)</a>:</h4>
<p>the only open question for me w/r/t 2PB is how much confusion we can mitigate with improved diagnostics</p>



<a name="132948790"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948790" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948790">(Aug 28 2018 at 19:57)</a>:</h4>
<p>(I'm gonna have to run, but I'll try to follow along)</p>



<a name="132948880"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948880" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948880">(Aug 28 2018 at 19:59)</a>:</h4>
<p>"2PB == two-phase borrows", for those who might not have realized :)</p>



<a name="132948982"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948982" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948982">(Aug 28 2018 at 20:00)</a>:</h4>
<p>ok that meeting is starting a bit late ;)</p>



<a name="132948985"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948985" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948985">(Aug 28 2018 at 20:00)</a>:</h4>
<p>what about this "removing warnings (<a href="https://github.com/rust-lang/rust/issues/52768" target="_blank" title="https://github.com/rust-lang/rust/issues/52768">#52768</a>)"</p>



<a name="132948991"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132948991" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132948991">(Aug 28 2018 at 20:01)</a>:</h4>
<p>that warning is certainly an "impl detail" we should not expose to users</p>



<a name="132949011"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949011" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949011">(Aug 28 2018 at 20:01)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> can you say a bit more about this?</p>
<blockquote>
<p>But on the other hand, my diagnostic review (<a href="https://github.com/rust-lang/rust/issues/52663" target="_blank" title="https://github.com/rust-lang/rust/issues/52663">#52663</a>) is revealing a couple of cases where a diagnostic is missing useful info that we used to report, and I <em>think</em> they correspond to these region errors that we are not reporting.</p>
</blockquote>



<a name="132949068"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949068" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949068">(Aug 28 2018 at 20:02)</a>:</h4>
<p>boy I wish I had included more context there</p>



<a name="132949071"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949071" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949071">(Aug 28 2018 at 20:02)</a>:</h4>
<p>but I think the summary is that</p>



<a name="132949079"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949079" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949079">(Aug 28 2018 at 20:02)</a>:</h4>
<p>we had some nice errors that were only reported in AST-borrowck at the time</p>



<a name="132949091"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949091" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949091">(Aug 28 2018 at 20:03)</a>:</h4>
<p>since then, we've turned back on at least one of those nice errors, I think ... maybe only in borrowck=migrate mode? Not sure</p>



<a name="132949100"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949100" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949100">(Aug 28 2018 at 20:03)</a>:</h4>
<p>let me see if I can find a specific link from <a href="https://github.com/rust-lang/rust/issues/52663" target="_blank" title="https://github.com/rust-lang/rust/issues/52663">#52663</a></p>



<a name="132949115"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949115" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949115">(Aug 28 2018 at 20:03)</a>:</h4>
<p>oh right I think the devil is literally in the <code>&lt;details&gt;</code> here</p>



<a name="132949158"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949158" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949158">(Aug 28 2018 at 20:04)</a>:</h4>
<p>src/test/ui/issue-13058.nll.stderr was one I noted</p>



<a name="132949184"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949184" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949184">(Aug 28 2018 at 20:05)</a>:</h4>
<p>this is the comment collecting them in that issue: <a href="https://github.com/rust-lang/rust/issues/52663#issuecomment-409031734" target="_blank" title="https://github.com/rust-lang/rust/issues/52663#issuecomment-409031734">https://github.com/rust-lang/rust/issues/52663#issuecomment-409031734</a></p>



<a name="132949208"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949208" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949208">(Aug 28 2018 at 20:05)</a>:</h4>
<p>so the questions I have are: 1. What does NLL currently do for those two cases in that comment, and 2. What does borrowck=migrate do for them.</p>



<a name="132949292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949292">(Aug 28 2018 at 20:07)</a>:</h4>
<p>src/test/ui/issue-13058.nll.stderr is probably because NLL (or any MIR generation?) doesn't run if there are type errors.</p>



<a name="132949299"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949299" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949299">(Aug 28 2018 at 20:07)</a>:</h4>
<p>so consider this case: <a href="https://play.rust-lang.org/?gist=8851ff9938c45d9180bd71cb584d6fbc&amp;version=nightly&amp;mode=debug&amp;edition=2015" target="_blank" title="https://play.rust-lang.org/?gist=8851ff9938c45d9180bd71cb584d6fbc&amp;version=nightly&amp;mode=debug&amp;edition=2015">https://play.rust-lang.org/?gist=8851ff9938c45d9180bd71cb584d6fbc&amp;version=nightly&amp;mode=debug&amp;edition=2015</a></p>



<a name="132949350"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949350" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949350">(Aug 28 2018 at 20:08)</a>:</h4>
<p>On nightly for play, AST-borrowck includes message "help: you can add a constraint to the return type to make it last less than <code>'static</code> and match the anonymous lifetime <a href="https://github.com/rust-lang/rust/issues/1" target="_blank" title="https://github.com/rust-lang/rust/issues/1">#1</a> defined on the method body"</p>



<a name="132949355"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949355" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949355">(Aug 28 2018 at 20:08)</a>:</h4>
<p>under NLL, it does not include that</p>



<a name="132949373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949373">(Aug 28 2018 at 20:08)</a>:</h4>
<p>static-return-lifetime-infered.nll.stderr is indeed a regression.</p>



<a name="132949378"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949378" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949378">(Aug 28 2018 at 20:09)</a>:</h4>
<p>BUT</p>



<a name="132949383"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949383" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949383">(Aug 28 2018 at 20:09)</a>:</h4>
<p>2018 edition: <a href="https://play.rust-lang.org/?gist=7c173cea49b300b334029b61c00bed6b&amp;version=nightly&amp;mode=debug&amp;edition=2018" target="_blank" title="https://play.rust-lang.org/?gist=7c173cea49b300b334029b61c00bed6b&amp;version=nightly&amp;mode=debug&amp;edition=2018">https://play.rust-lang.org/?gist=7c173cea49b300b334029b61c00bed6b&amp;version=nightly&amp;mode=debug&amp;edition=2018</a></p>



<a name="132949388"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949388" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949388">(Aug 28 2018 at 20:09)</a>:</h4>
<p>i.e. borrowck=migrate</p>



<a name="132949390"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949390" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949390">(Aug 28 2018 at 20:09)</a>:</h4>
<p>includes the nice help</p>



<a name="132949406"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949406" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949406">(Aug 28 2018 at 20:09)</a>:</h4>
<p>So I don't think this needs to be a high priority item to resolve</p>



<a name="132949412"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949412" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949412">(Aug 28 2018 at 20:09)</a>:</h4>
<p>because of whatever hack I put in for borrowck=migrate</p>



<a name="132949491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949491">(Aug 28 2018 at 20:10)</a>:</h4>
<p>Ill transcribe this info onto  <a href="https://github.com/rust-lang/rust/issues/52768" target="_blank" title="https://github.com/rust-lang/rust/issues/52768">#52768</a></p>



<a name="132949694"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949694" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949694">(Aug 28 2018 at 20:15)</a>:</h4>
<p>I guess it could be useful to see how the wontfix/2PB error cases from the latest crater run would look with borrowck=migrate</p>



<a name="132949750"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949750" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949750">(Aug 28 2018 at 20:16)</a>:</h4>
<p>has anyone been doing crater runs with 2018 edition turned on?</p>



<a name="132949753"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949753" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949753">(Aug 28 2018 at 20:16)</a>:</h4>
<p>there's one running IIRC, <span class="user-mention" data-user-id="121055">@Pietro Albini</span> right ?</p>



<a name="132949754"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949754" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949754">(Aug 28 2018 at 20:16)</a>:</h4>
<p>because that should have that same effect (plus other stuff), right?</p>



<a name="132949758"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949758" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949758">(Aug 28 2018 at 20:16)</a>:</h4>
<p>sure</p>



<a name="132949768"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949768" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949768">(Aug 28 2018 at 20:17)</a>:</h4>
<p>yep, one edition crater run should be running, let me check</p>



<a name="132949775"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949775" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949775">(Aug 28 2018 at 20:17)</a>:</h4>
<p>yep it's running (I hate logging into the server to check legacy runs...)</p>



<a name="132949786"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949786" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949786">(Aug 28 2018 at 20:17)</a>:</h4>
<p><span class="user-mention" data-user-id="121055">@Pietro Albini</span> thank you</p>



<a name="132949875"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949875" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949875">(Aug 28 2018 at 20:19)</a>:</h4>
<p>do we know when it will end approximately ?</p>



<a name="132949887"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949887" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949887">(Aug 28 2018 at 20:19)</a>:</h4>
<p>(that is, I can manually check with borrowck=migrate until the results are available)</p>



<a name="132949983"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949983" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949983">(Aug 28 2018 at 20:21)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> did you want to talk about more things ?</p>



<a name="132949992"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132949992" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132949992">(Aug 28 2018 at 20:21)</a>:</h4>
<p>hmm. in 3/4 days it should be finished, but I'm not sure (there is no progress indicator for legacy runs, and it's running on a new temporary machine)</p>



<a name="132950061"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950061" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950061">(Aug 28 2018 at 20:22)</a>:</h4>
<blockquote>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> did you want to talk about more things ?</p>
</blockquote>
<p>well there were like 10 nominated issues i think</p>



<a name="132950072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950072">(Aug 28 2018 at 20:23)</a>:</h4>
<p>(it would also be interesting to build servo with NLLs)</p>



<a name="132950083"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950083" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950083">(Aug 28 2018 at 20:23)</a>:</h4>
<p>these are the nominated issues: <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=+label%3AI-nominated+label%3AA-NLL+" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=+label%3AI-nominated+label%3AA-NLL+">https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=+label%3AI-nominated+label%3AA-NLL+</a></p>



<a name="132950094"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950094" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950094">(Aug 28 2018 at 20:23)</a>:</h4>
<p>we've touched on some of these already</p>



<a name="132950099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950099">(Aug 28 2018 at 20:24)</a>:</h4>
<p>e.g. everything that is about 2PB, I think we agreed we can afford to let that slide to later</p>



<a name="132950163"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950163" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950163">(Aug 28 2018 at 20:24)</a>:</h4>
<p>sorry let me narrow focus to just the <em>open</em> nominated issues: <a href="https://github.com/rust-lang/rust/issues?q=label%3AI-nominated+label%3AA-NLL+is%3Aopen" target="_blank" title="https://github.com/rust-lang/rust/issues?q=label%3AI-nominated+label%3AA-NLL+is%3Aopen">https://github.com/rust-lang/rust/issues?q=label%3AI-nominated+label%3AA-NLL+is%3Aopen</a></p>



<a name="132950187"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950187" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950187">(Aug 28 2018 at 20:25)</a>:</h4>
<p>so I think the main thing I wanted to talk about was  <del>#53595</del> <a href="https://github.com/rust-lang/rust/issues/53695" target="_blank" title="https://github.com/rust-lang/rust/issues/53695">#53695</a></p>



<a name="132950207"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950207" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950207">(Aug 28 2018 at 20:25)</a>:</h4>
<p>I'm not convinced that was what you intended to link to.</p>



<a name="132950208"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950208" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950208">(Aug 28 2018 at 20:25)</a>:</h4>
<p>is that the good link ?</p>



<a name="132950209"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950209" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950209">(Aug 28 2018 at 20:25)</a>:</h4>
<p>(which .... I don't think was discussed yet ... apart from my mentioning it above)</p>



<a name="132950211"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950211" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950211">(Aug 28 2018 at 20:25)</a>:</h4>
<p>ugh</p>



<a name="132950255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950255">(Aug 28 2018 at 20:26)</a>:</h4>
<p>fixed</p>



<a name="132950266"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950266" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950266">(Aug 28 2018 at 20:26)</a>:</h4>
<p>is this the one you wanted to discuss with <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> ?</p>



<a name="132950271"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950271" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950271">(Aug 28 2018 at 20:26)</a>:</h4>
<p>no</p>



<a name="132950280"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950280" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950280">(Aug 28 2018 at 20:27)</a>:</h4>
<p>i mean, we <em>do</em> want to get <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> 's input on this too</p>



<a name="132950289"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950289" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950289">(Aug 28 2018 at 20:27)</a>:</h4>
<p>but the questions I was alluding to earlier were about something else</p>



<a name="132950300"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950300" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950300">(Aug 28 2018 at 20:27)</a>:</h4>
<p>The solution here is pretty clear, it's just whether we think that this should be allowed.</p>



<a name="132950346"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950346" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950346">(Aug 28 2018 at 20:28)</a>:</h4>
<p>well, I'm also wondering : 1. <em>by when</em> do we need a decision on this, and 2. who should make the decision?</p>



<a name="132950352"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950352" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950352">(Aug 28 2018 at 20:28)</a>:</h4>
<p>Do we need the lang team involved? Or should we just trust our WG to make the right call here</p>



<a name="132950358"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950358" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950358">(Aug 28 2018 at 20:28)</a>:</h4>
<p>what is your immediate reaction to this question ?</p>



<a name="132950369"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950369" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950369">(Aug 28 2018 at 20:29)</a>:</h4>
<p>Regarding the first Q, I personally don't think this has to be decided by RC. But I'd love to hear counter arguments.</p>



<a name="132950427"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950427" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950427">(Aug 28 2018 at 20:30)</a>:</h4>
<p>it certainly wouldn't hurt to ask t-lang in any case</p>



<a name="132950435"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950435" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950435">(Aug 28 2018 at 20:30)</a>:</h4>
<p>Regarding the second Q: Well, I suppose we've been left in charge of even meatier Q's. :)</p>



<a name="132950455"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950455" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950455">(Aug 28 2018 at 20:30)</a>:</h4>
<p>this is just one of those ones that seems like a bikeshed type Q</p>



<a name="132950462"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950462" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950462">(Aug 28 2018 at 20:30)</a>:</h4>
<p>I don't think we need to decide. But I think that we should check if there's any disagreement about it first.</p>



<a name="132950465"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950465" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950465">(Aug 28 2018 at 20:31)</a>:</h4>
<p>(you know, how everyone can have an opinion on something this "simple")</p>



<a name="132950484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950484">(Aug 28 2018 at 20:31)</a>:</h4>
<p>So, lets say we add the fake read. is there any downside we can anticipate?</p>



<a name="132950574"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950574" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950574">(Aug 28 2018 at 20:33)</a>:</h4>
<p>Perf, maybe?</p>



<a name="132950579"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950579" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950579">(Aug 28 2018 at 20:33)</a>:</h4>
<p>and should the fake read indeed occur after the whole <code>let PAT = EXPR;</code> is done?</p>



<a name="132950596"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950596" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950596">(Aug 28 2018 at 20:33)</a>:</h4>
<p>Well, it needs to occur at a point which is meaningfully later than the assign.</p>



<a name="132950633"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950633" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950633">(Aug 28 2018 at 20:34)</a>:</h4>
<p>or should it somehow be intermixed. I'm thinking of a case like <code>let (x, y) = ...;</code>: should the fake read of <code>x</code> come before the initialization of <code>y</code></p>



<a name="132950647"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950647" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950647">(Aug 28 2018 at 20:34)</a>:</h4>
<p>I think that we already fail in that case</p>



<a name="132950653"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950653" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950653">(Aug 28 2018 at 20:34)</a>:</h4>
<p>(to compile)</p>



<a name="132950660"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950660" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950660">(Aug 28 2018 at 20:34)</a>:</h4>
<p><span class="user-mention" data-user-id="116118">@Matthew Jasper</span> when you said earlier that the solution was clear in this case, were you thinking of the "fake read" solution as well ?</p>



<a name="132950663"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950663" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950663">(Aug 28 2018 at 20:34)</a>:</h4>
<p>It's just <code>let [mut] x = ...</code> where this happens. (<em>quickly goes to check</em>)</p>



<a name="132950666"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950666" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950666">(Aug 28 2018 at 20:35)</a>:</h4>
<p>Yes</p>



<a name="132950708"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950708" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950708">(Aug 28 2018 at 20:35)</a>:</h4>
<p>I have to admit I find the fake read ... a bit hacky here</p>



<a name="132950750"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950750" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950750">(Aug 28 2018 at 20:36)</a>:</h4>
<p>do we have an idea on how much work would this be ? ie, if perf does turn out to regress, would we lose a couple hours or days ?</p>



<a name="132950756"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950756" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950756">(Aug 28 2018 at 20:36)</a>:</h4>
<p>it just doesn't <em>feel</em> right to me. Its only a gut reaction</p>



<a name="132950774"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950774" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950774">(Aug 28 2018 at 20:37)</a>:</h4>
<p>(and/or if t-lang disagrees with this solution)</p>



<a name="132950844"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950844" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950844">(Aug 28 2018 at 20:38)</a>:</h4>
<p>there's nothing <em>incorrect</em> about the code, right? Isn't this fake read akin to adding a lint?</p>



<a name="132950854"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950854" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950854">(Aug 28 2018 at 20:38)</a>:</h4>
<p><span class="user-mention" data-user-id="116155">@Jake Goulding</span> yeah I think that is part of why my gut is reacting</p>



<a name="132950865"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950865" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950865">(Aug 28 2018 at 20:38)</a>:</h4>
<p>like, if we're accepting the code</p>
<div class="codehilite"><pre><span></span>    let x;
    {
        let z = 0;
        x = &amp;z
    };
</pre></div>


<p>then why not accept the form where its in the initializer?</p>



<a name="132950901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950901">(Aug 28 2018 at 20:39)</a>:</h4>
<p>It depends on the exact order that things happen in MIR. Whether this is a good enough reason to disallow it is perhaps up for debate.</p>



<a name="132950966"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950966" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950966">(Aug 28 2018 at 20:40)</a>:</h4>
<p>ah true. We did after all, for example, put in FalseEdges in order to keep our options open in terms of what MIR we generate</p>



<a name="132950976"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132950976" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132950976">(Aug 28 2018 at 20:40)</a>:</h4>
<p>So its possible this is analogous to that ... ?</p>



<a name="132951027"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132951027" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132951027">(Aug 28 2018 at 20:41)</a>:</h4>
<p>There's also <code>let _ = ...</code>(or any pattern that doesn't bind and values or read any discriminant), but that seems more reasonable.</p>



<a name="132951031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132951031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132951031">(Aug 28 2018 at 20:41)</a>:</h4>
<p>still, I think I'd need to see examples of the variants here, i.e. the cases where we accept and where we reject that otherwise look similar</p>



<a name="132951035"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132951035" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132951035">(Aug 28 2018 at 20:41)</a>:</h4>
<p>The <code>let _ = ...;</code> is a separate can of worms I think</p>



<a name="132951077"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132951077" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132951077">(Aug 28 2018 at 20:42)</a>:</h4>
<p>or at least its one that I believe <span class="user-mention" data-user-id="116009">@nikomatsakis</span> made a dedicated issue for somwhere...</p>



<a name="132951094"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132951094" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132951094">(Aug 28 2018 at 20:42)</a>:</h4>
<p>I guess I'll write up cases we do and don't allow in the issue.</p>



<a name="132951129"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132951129" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132951129">(Aug 28 2018 at 20:43)</a>:</h4>
<p>sorry, had to drop off. I don't have a strong opinion here but I think writing up various examples and then cc'ing a wider group to get their take seems fine</p>



<a name="132951140"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132951140" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132951140">(Aug 28 2018 at 20:44)</a>:</h4>
<p>in particular the differences when using initializer vs when using block were interesting to me</p>



<a name="132951183"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132951183" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132951183">(Aug 28 2018 at 20:44)</a>:</h4>
<p>I think I tend towards "this is ok" personally but.. yeah.</p>



<a name="132951184"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132951184" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132951184">(Aug 28 2018 at 20:44)</a>:</h4>
<p>not sure yet</p>



<a name="132951235"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132951235" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132951235">(Aug 28 2018 at 20:45)</a>:</h4>
<blockquote>
<p>or at least its one that I believe <span class="user-mention" data-user-id="116009">@nikomatsakis</span> made a dedicated issue for somwhere...</p>
</blockquote>
<p><a href="https://github.com/rust-lang/rust/issues/53114" target="_blank" title="https://github.com/rust-lang/rust/issues/53114">#53114</a> is what I was thinking of here.</p>



<a name="132951473"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132951473" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132951473">(Aug 28 2018 at 20:50)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> do you agree that we do not <em>need</em> to make a decision in time for RC ?</p>



<a name="132951492"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132951492" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132951492">(Aug 28 2018 at 20:50)</a>:</h4>
<p>(in which case I'd argue that we should reassign it to RC 2 milestone)</p>



<a name="132951574"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132951574" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132951574">(Aug 28 2018 at 20:52)</a>:</h4>
<p>(sorry I have to go, bbl)</p>



<a name="132951590"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132951590" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132951590">(Aug 28 2018 at 20:52)</a>:</h4>
<p>I must myself go t osleep ... <span class="emoji emoji-1f62a" title="sleepy">:sleepy:</span></p>



<a name="132951623"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132951623" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132951623">(Aug 28 2018 at 20:53)</a>:</h4>
<p>o/</p>



<a name="132951638"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%2028/near/132951638" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.2028.html#132951638">(Aug 28 2018 at 20:53)</a>:</h4>
<blockquote>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> do you agree that we do not <em>need</em> to make a decision in time for RC ?</p>
</blockquote>
<p>yes I do</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>